ارزیابی امنیت پروتکل های اثبات گروهی در سامانه های rfid در برابر حمله جعل اثبات
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده برق و الکترونیک
- نویسنده سارا مجیدی
- استاد راهنما نصور باقری
- سال انتشار 1393
چکیده
به مجموعه ای از فناوری ها که در آنها برای شناسایی افراد و اشیاء، از امواج رادیویی استفاده می شود، سامانه های شناسایی با امواج رادیویی یا شناسایی بسامد رادیویی می گوییم. عملکرد شناسایی بسامد رادیویی وابسته به دو واحد برچسب و برچسب خوان می باشد که جهت برقراری ارتباط با یکدیگر از امواج رادیویی استفاده می کنند. در بسیاری از کاربرد های سامانه های امواج رادیویی اثبات حضور هم زمان تعدادی شیء یا شخص در کنار هم و در یک زمان معین اهمیت دارد. هدف از طراحی پروتکل های اثبات گروهی پاسخ به این نیاز است. در واقع می توان گفت اثبات گروهی مدرکی است که نشان می دهد دو و یا تعداد بیشتری از برچسب ها به طور هم زمان توسط یک برچسب خوان بررسی شده اند. این اثبات باید به وسیله کنترل کننده ئ متناظر قابل اثبات باشد. در طول اجرای یک پروتکل اثبات گروهی، کنترل کننده می تواند در دو حالت باشد: برخط و بیرون خط. در حالت اول کنترل کننده می تواند پیغامی از برچسب بگیرد و یا برای آن بفرستد (توسط برچسب خوان). در حالت دوم بر خلاف حالت قبل کنترل کننده نمی تواند با برچسب ارتباط برقرار کند. در این پایان نامه پروتکل های اثبات گروهی معرفی و بررسی شده اند. در ابتدا به معرفی انواع پروتکل های اثبات گروهی به همراه تحلیل امنیتی آن ها پرداخته ایم. سپس به طور خاص پروتکل هایی که بر مبنای قضیه باقیمانده مربعی طراحی شده اند، معرفی شده و نشان داده ایم اکثر این پروتکل ها در معرض حمله جعل هویت قرار دارند. در ادامه مساله تبانی برچسب ها مطرح شده است و یکی از پروتکل های اثبات گروهی از این منظر بررسی شد و امکان جعل اثبات در آن ثابت گردید.
منابع مشابه
مروری بر پروتکل های مبتنی بر مسئله LPN در سامانه های RFID
سامانهRFID با استفاده از ارتباطات مبتنی بر فرکانس‌های رادیویی امکان شناسایی خودکار ، ردیابی و مدیریت اشیاء، انسان و حیوان را فراهم می‌نماید . عملکرد RFID وابسته به دو دستگاه برچسب و باز خوان است که جهت برقراری ارتباط بین یکدیگر از امواج رادیویی استفاده می‌نمایند. برای برقراری ارتباط امن بین برچسب و باز خوان از پروتکل های رمز نگاری استفاده می شود. مبنای اساسی برای امنیت یک پروتکل رمزنگاری بر ا...
متن کاملارزیابی کتاب روش شناسی نظریه های جدید در سیاست (اثبات گرایی و فرا اثبات گرایی)
تنوع مطالعات روش شناختی در عرصه سیاست، پیدایش فرا اثبات گرایی در عصر جدید و تعارضاتی که با اثبات گرایی دارد، اهمیت نقد این اثر را روشن می سازد. در کنار آن ضرورت نقد کتابی که به عنوان منبع درسی دانشجویان علوم سیاسی در سه مقطع تحصیلی دانشگاهی مورد استفاده قرار می گیرد آشکار است. مقاله حاضر کوششی است تا با نقد یکی از مهم ترین تالیفات آموزشی در حوزه روش شناسی علم سیاست و بیان نقاط قوت و ضعف آن، زمی...
متن کاملبار اثبات اختلال های روانی متهم در فرایند دادرسی کیفری
اختلالات روانی، علاوه بر ناتوان نمودن متهم در دفاع از خود در برابر اتهام وارده، قابلیت انتساب معنوی جرم به وی و در نتیجه تحقق مسؤولیت کیفری را متزلزل میسازند. با طرح ادعای تردید در سلامت روانی، نسبت به تحقق مسؤولیت، شک ایجاد شده و در راستای اجرای اصل برائت و قاعده برابری سلاحها، مقام تعقیب مکلف به اثبات فقدان اختلالات روانی میگردد.در نظام حقوقی ایران از میان اختلالات روانی به جنون و مستی اشا...
متن کاملچرا اثبات؟
پروفسور رونده، استاد دانشگاه آلبرتای کانادا در رشتۀ ریاضی است. مقالات تخصصی وی بر اثرات متقابل آنالیز هارمونیک و آنالیز تابعی متمرکز است. مقالات عمومی رونده دربارۀ جنبه های فلسفی ریاضی نیز جالب توجه اند. از جمله مقالۀ حاضر که ضمن ارائۀ چند مثال، چرایی و چگونگی اثبات در ریاضی را شرح می دهد.
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده برق و الکترونیک
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023